//
Les mineurs âgés de dix-huit ans, en service à bord de navires, ont droit à un congé payé annuel de trente jours ouvrables.
Les mineurs âgés de dix-huit ans, en service à bord de navires, ont droit à un congé payé annuel de trente jours ouvrables.