Fortes chaleurs et santé des travailleurs : que dit le code du travail?