Travaux-Gautrie-mars-2021