Sur quelques formules de logique différentielle... — Jean Simeray