-Rocq/TreeAutomata
-Rocq/tutto tranne ails, coc, higman, ALGEBRA/CATEGORY_THEORY
-Sophia-Antipolis/Bertrand
+Rocq tranne ails, coc, higman, ALGEBRA/CATEGORY_THEORY
+Sophia-Antipolis tranne algebra, buchberger, huffmann, math_groups,
+ float, geometry