Je propose que le 11 mai soit férié pour célébrer la libération de 2020. Après tout, cela manque de jours fériés en mai !