Guide des opérations immobilières des services déconcentrés — France. Direction de l'administration générale et de la modernisation des services