agreg-info

Dépôts et scripts permettant de gérer une infrastructure de concours, originellement développée en 2022 pour l'agrégation d'informatique.