+function get_warning_mail_text(PlUser $user, $email)
+{
+ $display_name = $user->displayName();
+ $former_email = $email . '@' . $user->mainEmailDomain();
+ $forlife_email = $user->forlifeEmail();
+
+ return "$display_name,\n\nComme nous t'en avons informé par email il y a "
+ . "quelques temps, pour respecter nos engagements en terme d'adresses "
+ . "email devinables, tu te verras bientôt retirer l'alias $former_email "
+ . "pour ne garder que $forlife_email.\n\nToute personne qui écrira à "
+ . "$former_email recevra la réponse d'un robot qui l'informera que "
+ . "$former_email est ambigu pour des raisons d'homonymie et signalera "
+ . "ton email exact.\n\nCordialement,\n-- \nl'équipe de Polytechnique.org"
+ . "\nLe portail des élèves & anciens élèves de l'École polytechnique";
+}
+
+function get_robot_mail_text(PlUser $user, $email)
+{
+ $display_name = $user->displayName();
+ $former_email = $email . '@' . $user->mainEmailDomain();
+
+ return "$display_name,\n\nComme nous t'en avons informé par email il y a "
+ . "quelques temps, nous t'avons retiré de façon définitive l'adresse "
+ . "$former_email.\n\nToute personne qui écrit à $former_email reçoit "
+ . "la réponse d'un robot qui l'informe que $former_email est ambigu "
+ . "pour des raisons d'homonymie et indique ton email exact.\n\nTu peux "
+ . "faire l'essai toi-même en écrivant à $former_email.\n\nCordialement,"
+ . "\n-- \nl'équipe de Polytechnique.org"
+ . "\nLe portail des élèves & anciens élèves de l'École polytechnique";
+}
+
+function fix_homonym(PlUser $user, $email)
+{
+ XDB::execute('DELETE FROM email_source_account
+ WHERE email = {?} AND type = \'alias\'',
+ $email);
+
+ $hrmid = User::makeHomonymHrmid($email);
+ XDB::execute('INSERT INTO email_source_other (hrmid, email, domain, type, expire)
+ SELECT {?}, {?}, id, \'homonym\', NOW()
+ FROM email_virtual_domains
+ WHERE name = {?}',
+ $hrmid, $email, $user->mainEmailDomain());
+ XDB::execute("INSERT INTO email_redirect_other (hrmid, redirect, type, action)
+ VALUES ({?}, '', 'homonym', 'homonym')",
+ $hrmid);
+