République française, Journal officiel de la République française…
“ Art. 9. — Les condamnations à la peine de mort prononcées après le 1er novembre 1980 seront converties de plein droit suivant la nature du crime concerné en condamnations à la réclusion criminelle à perpétuité ou en condamnations à la détention criminelle à perpétuité. Lorsqu'une condamnation a fait l'objet d'un pourvoi en cassation, les dispositions de l'alinéa précédent ne sont applicables qu'en cas de désistement ou de rejet du pourvoi. ”
