Vérification code PHP, svp !

   <[https://www.commentcamarche.net/contents/242-introduction-au-dynamic-html-dhtml div] class="container">
      <form action="envoie.php" method="post">
    
        <label for="fname">Nom et prénom</label>
        <input class="nom" type="text" id="nom" name="nom" placeholder="Votre nom" required>
    
        <label for="lname">E-mail</label>
        <input type="text" id="mail" name="mail" placeholder="ex: ***@***" required>

        <label for="lname">Objet</label>
        <input type="text" id="objet" name="objet" placeholder="Objet de votre demande" required>
    
        <label for="subject">Message</label>
        <textarea id="message" name="message" placeholder="Votre message ..." style="height:200px" required></textarea>

        <input type="reset" value="réinitialiser"></input>
    
        <input type="submit" value="Envoyer"></input>
    
      </form>
    </div>

<?php

$destinataire = '***@***';
 
$copie = 'oui';
 
$message_envoye = "Votre message nous est bien parvenu, l'équipe vous répondera le plus vite possible. !";
$retour_accueil = "Pour revenir à <a href=\"Accueil.html\">l'accueil</a>"
$message_non_envoye = "L'envoi du mail a échoué, veuillez réessayer SVP.";
 

$message_erreur_formulaire = "Vous devez d'abord <a href=\"contact.html\">envoyer et remplir le formulaire</a>.";
$message_formulaire_invalide = "Vérifiez que tous les champs soient bien remplis et que l'email soit sans erreur.";


if (!isset($_POST['envoi']))
{

 echo '<p>'.$message_erreur_formulaire.'</p>'."\n";
 echo '<img src="" alt="image message non envoyé">';
}
else
{

 function Rec($text)
 {
  $text = htmlspecialchars(trim($text), ENT_QUOTES);
  if (1 === get_magic_quotes_gpc())
  {
   $text = stripslashes($text);
  }
 
  $text = nl2br($text);
  return $text;
 };

 function IsEmail($email)
 {
  $value = preg_match('/^(?:[\w\!\#\$\%\&\'\*\+\-\/\=\?\^\`\{\|\}\~]+\.)*[\w\!\#\$\%\&\'\*\+\-\/\=\?\^\`\{\|\}\~]+@(?:(?:(?:[a-zA-Z0-9_](?:[a-zA-Z0-9_\-](?!\.)){0,61}[a-zA-Z0-9_-]?\.)+[a-zA-Z0-9_](?:[a-zA-Z0-9_\-](?!$)){0,61}[a-zA-Z0-9_]?)|(?:\[(?:(?:[01]?\d{1,2}|2[0-4]\d|25[0-5])\.){3}(?:[01]?\d{1,2}|2[0-4]\d|25[0-5])\]))$/', $email);
  return (($value === 0) || ($value === false)) ? false : true;
 }
 
 $nom     = (isset($_POST['nom']))     ? Rec($_POST['nom'])     : '';
 $email   = (isset($_POST['mail']))   ? Rec($_POST['mail'])   : '';
 $objet   = (isset($_POST['objet']))   ? Rec($_POST['objet'])   : '';
 $message = (isset($_POST['message'])) ? Rec($_POST['message']) : '';
 

 $mail = (IsEmail($mail)) ? $mail : ''; 
 
 if (($nom != '') && ($mail != '') && ($objet != '') && ($message != ''))
 {

  $headers  = 'MIME-Version: 1.0' . "\r\n";
  $headers .= 'From:'.$nom.' <'.$mail.'>' . "\r\n" .
    'Reply-To:'.$mail. "\r\n" .
    'Content-Type: text/plain; charset="utf-8"; DelSp="Yes"; format=flowed '."\r\n" .
    'Content-Disposition: inline'. "\r\n" .
    'Content-Transfer-Encoding: 7bit'." \r\n" .
    'X-Mailer:PHP/'.phpversion();
 

  if ($copie == 'oui')
  {
   $cible = $destinataire.';'.$mail;
  }
  else
  {
   $cible = $destinataire;
  };
 
  $caracteres_speciaux     = array(''', '’', '"', '<br>', '<br />', '<', '>', '&', '…',   '’', '‘');
  $caracteres_remplacement = array("'",      "'",        '"',      '',    '',       '<',    '>',    '&',     '...', '>>',      '<<'     );
 
  $objet = html_entity_decode($objet);
  $objet = str_replace($caracteres_speciaux, $caracteres_remplacement, $objet);
 
  $message = html_entity_decode($message);
  $message = str_replace($caracteres_speciaux, $caracteres_remplacement, $message);
 
  $num_emails = 0;
  $tmp = explode(';', $cible);
  foreach($tmp as $mail_destinataire)
  {
   if (mail($mail_destinataire, $objet, $message, $headers))
    $num_emails++;
  }
 
  if ((($copie == 'oui') && ($num_emails == 2)) || (($copie == 'non') && ($num_emails == 1)))
  {
   echo '<p>'.$message_envoye.'</p>';
   echo '<p>'.$retour_accueil.'</p>'."\n";
  }
  else
  {
   echo '<p>'.$message_non_envoye.'</p>';
  };
 }
 else
 {

  echo '<p>'.$message_formulaire_invalide.' <a href="contact.html">Retour au formulaire</a></p>'."\n";
 };
};
?>