Definition of "extrados"

extrados