Propagation des singularités et opérateurs différentiels