https://123dok.net/document/qo51m657-résolubilité-locale-opérateur-différentiel-invariant-premier-ordre.html