Simplification du Makefile : definition de la regle "%.cmo : %.ml"