Les fonctionnaires pourront-ils partir en vacances durant les JO de 2024, malgré la circulaire de la première Ministre ?