Réunions du Groupe de Gestion du personnel du 5 rue Cadet (GG5)
notes d'information sur les promotions, comptes-rendus des réunions du GG5 du 24 octobre 1977 au 17 novembre 1980.
notes d'information sur les promotions, comptes-rendus des réunions du GG5 du 24 octobre 1977 au 17 novembre 1980.
comptes-rendus des réunions du GG5 du 19 janvier 1981 au 19 janvier 1983, notes de travail pour le GG5 (septembre-décembre 1982).