Paiement majoration heures complémentaires

Bonjour,

Salarié qui était en CDD dans une entreprise (Grande distribution), il a effectué de nombreuses heures complémentaires pour lesquelles il n'a pas perçu la majoration, l'entreprise indiquant que des avenants avaient été signés (pour augmenter facialement le temps de travail) alors que ça n'a jamais été le cas.
Le salarié a démissionné et a demandé par lettre recommandée à ce que ces majorations lui soient payées en régularisation de salaire (avec les fiches de paie concernées à l'appui)
L'entreprise fait la sourde oreille et n'a pas payé
Quelle est la meilleure façon d'agir pour obtenir le paiement de ces majorations ? (si possible sans aller aux Prud'hommes, il s'agit d'une somme de 800€)