Programme de la rentrée des classes, septembre 2020, collège Gassendi