Institut national de la statistique et des études économiques. Recensement général des agents des services publics, effectué le 1er avril 1950 — Institut national de la statistique et des études économiques. France