"J.-M. Bismut"