English Dictionary
◊ EXTRADOS
extrados
n : the exterior curve of an arch