Porte cochère

Une porte cochère (appelé aussi portail cocher) est une porte dans la façade d'un bâtiment (portail d'hôtel particulier, de manoir, de bâtiment public), par laquelle les véhicules peuvent passer (une entrée de garage par exemple). Par métonymie, elle désigne a…