Théorie des traces foliaires, par A. Gravis — Auguste Gravis