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