agreg-infos-lecons

Compilation des leçons d'informatiques de l'agrégation de 2020, telle qu'elles ont été revues en cours d'option D.