Les heures supplémentaires lors d'une formation collective

Bonsoir

Je suis Déléguée du personnel et des salariés sont venus me faire part d'une problématique actuelle : ils ont accepté une formation pédagogique collective qui a lieu un samedi par mois durant 10 mois, de 9h30 à 14 dont 30 mn de pause déjeuner.

Ces salariés font 35 h du lundi au vendredi et sont donc le samedi en formation.

Ils ont eu comme retour du siège social que ces 4 heures supplémentaires donnent droit qu'à 4 heures de repos compensateur, elles ne sont pas majorées, ils n'ont donc pas 5 heures.

Pouvez vous me dire ce que dit le droit du travail .

En vous remerciant.