https://123dok.net/document/q2n7l92r-rectificatif-intitulé-régularité-microlocale-problèmes-dirichlet-linéaires-caractéristiques.html