Outil de backoffice dédié à la modération et à l'administration des comptes utilisateurs pour MonComptePro. Il permet de gérer les organisations, les membres, les domaines email, les activités suspectes et les interactions avec les utilisateurs. Le service facilite également la vérification des domaines et le suivi des actions de modération pour garantir la sécurité et la conformité des comptes.

Ce projet implémente l'algorithme de calcul des ordres d'appel pour Parcoursup, une plateforme d'admission dans l'enseignement supérieur en France. Il fournit une spécification formelle de l'algorithme et des preuves de sa correction en utilisant différents outils de vérification.