"to benefit plans are divided to calculate an hourly credit toward the amount an. employer is required to pay according to the prevailing wage schedule. ..."
"If a contractor or subcontractor makes a flat weekly, monthly or quarterly contribution to a qualifying plan for an employee, the allowable hourly credit is ..."

Employees may not earn credit hours in lieu of receiving holiday premium pay when they perform work during normal working hours. However, an employee on a ...
www.opm.gov/oca/pay/html/Xmasfaq.htm - 35k - Cached - Similar pages

--------------------------------------------------
Note added at 4 mins (2007-03-21 20:55:44 GMT)
--------------------------------------------------

the reference is not great but I think the term might be ok ...

Whether or not you choose to call it 'credit time' (overtime?) or 'hours in lieu'; I don't think that this is flexi-time.

The context of the example you have given is working additional hours - complémentaires, supplémentaires - same thing, they are repeating themselves.

I think that they might also be repeating themselves here:
des crédits d’heures***** et du repos compensateur.

Repos compensateur is definitely hours in lieu (annual leave time given against having worked overtime) Whether or not 'credit heures' is hours in lieu or an actual payment - therefore overtime payment isn't clear.

A French gov example of crédit d'heure, isn't flexi-time:

De quel crédit d'heure disposent les délégués ?
Le crédit d'heures attribué aux élus du personnel pour exercer leurs attributions de délégué du personnel et de membre du comité d'entreprise est fixé à 20 heures par mois (au lieu de 15 heures en tant que DP).

Les deux réunions prévues par le code du travail (pour les DP et le CE) ont lieu chaque mois à la suite l'une de l'autre, sur convocation du chef d'entreprise. Le temps passé en réunion par les délégués n'est pas imputé sur leur crédit d'heures.

http://www.travail.gouv.fr/informations-pratiques/fiches-pra...

CREDIT D’HEURES
Pour l'exercice du mandat syndical, les délégués syndicaux, comme les délégués du personnel et les membres du comité d'entreprise et du CHS/CT, disposent

- d'un crédit d'heures payé comme temps de travail ;

- d'un droit de libre circulation à l'intérieur comme à l'extérieur de l'entreprise.
http://fosnpep.free.fr/Delegues/credit d'heure2.htm


Quel est le crédit d'heures dont peuvent disposer les représentants du personnel ?

L'employeur est tenu d'accorder aux représentants du personnel des heures de délégation leur permettant d'exercer leurs fonctions.

Les heures de réunion avec l'employeur ne s'imputent pas sur le crédit d'heures. Toutes les heures sont par ailleurs intégralement rémunérées.
http://www.optimcredit.com/information_credit/22_quel_heures...

Les crédits de congé annuel sont accordés une fois par an au 1er octobre de chaque année directement dans Oracle HR.
Les crédits de congé épargné sont calculés tous les mois par le programme de paie (SIGAGIP) puis transférés dans HR.
Les **crédits d'heures supplémentaires** sont créés depuis EDH et transférés dans HR.
Les autres crédits (variances, jours d'ancienneté etc.) sont créés directement dans HR.
https://webh12.cern.ch/ais/projs/leaves/meetings/20000516_pa...

Now I'm confused too, but it really doesn't look like flexi-time......

--------------------------------------------------
Note added at 16 hrs (2007-03-22 13:07:31 GMT)
--------------------------------------------------

After looking around again, I did find examples whereby it was time/hours credited within a flexi-time system. Although I also found union related examples whereby it was 'paid released time' - ie hours paid for activities outside the workplace / habitual work.

So I would go for 'credit time' or 'hours credited'/'time credited'