+"Le compte d'un développeur est marqué « emeritus » (honoraire) quand le "
+"processus précédent en <xref linkend=\"s3.7\"/> est suivi, et « disabled » "
+"(désactivé) sinon. Un développeur ayant démissionné avec un compte "
+"« emeritus » peut réactiver son compte de la façon suivante :"