Le chef d'entreprise est tenu de laisser aux délégués syndicaux, aux délégués du personnel, aux délégués de bord, aux délégués mineurs et aux membres du comité d'entreprise et du comité d'hygiène, de sécurité et des conditions de travail un temps minimum nécessaire à l'exercice de leurs fonctions.
   Ce temps est de plein droit considéré comme temps de travail et payé à l'échéance normale. En cas de contestation, par l'employeur, de l'usage du temps ainsi alloué, il lui appartient de saisir la juridiction compétente.