Comme je te l'ai dis en principe tu crains rien car ton fichier php ne contient rien qui puisse altérer ton portail ni faire quelconque action. Le exit permet parfois d'éviter des erreurs dans certaines redirection qui plus est(j'ai eu ce problème récemment sur le site de l'école de berrias, je redirigeais les ip non françaises vers google, et ça fonctionnait pas, un exit à réglé le truc)
Le exit se met à la fin comme ça




D'une manière générale pour avoir parcouru pas mal les forums php ces derniers jours par rapport aux redirections, il est conseillé d'ajouter un exit afin de prévenir de l’exécution de tout code après la redirection.

Tape une recherche google sur exit header location, tu trouveras plein de sujets qui en parle et qui recommande de le faire