PORCHE. n. m. Portique, lieu couvert à l'entrée d'un temple, d'une église, ou même d'un palais. Porche circulaire. Porche cintré. Le porche du temple de Jérusalem. Le porche d'une église de village.
Tout ou partie de cette définition est extrait du Dictionnaire de l'Académie française, huitième édition, 1932-1935