Porter un short ou une jupe au travail les jours de forte chaleur: quelles sont les règles?