suppression du src/ex.h