Ancien Hôtel de l'intendant des Bâtiments du Roi