Le code du travail est modifié ainsi qu’il suit.