Variétés de contact quantifiées L. Boutet de Monvel (1979/1980) Séminaire Équations aux dérivées partielles (Polytechnique)