Questionnements automatisables de mathématiques aux concours ENAC — Gilbert Damin, Serge Daude