Le décret n° 80-792 du 2 octobre 1980 tendant à accélérer le règlement des droits à pension de retraite de l'Etat est abrogé.