Loi de DarcyLa loi de Darcy est une loi physique qui exprime le débit d'un fluide incompressible filtrant au travers d'un milieu poreux. La circulation de ce fluide entre deux points est déterminée par la conductivité hydraulique ou le coefficient de perméabilité du substrat et par le gradient de pression du fluide. Dans le cas d'un cours d'eau ou d'un réservoir alimentant une nappe, ce gradient est lié à la hauteur de l'eau. Cette loi a été établie en 1856 par Henry Darcy, après qu'il eut réalisé diverses expérimentations visant à déterminer les lois régissant .
Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
Jean LerayJean Leray, né le à Chantenay-sur-Loire (Loire-Inférieure) et mort le à La Baule, est un mathématicien français qui a travaillé à la fois sur les équations aux dérivées partielles, la mécanique des fluides et sur la topologie algébrique. Il passe sa jeunesse à Nantes et à Rennes, puis fait ses études à l'École normale supérieure et devient professeur à Nancy en 1936. Il effectue ses principaux travaux en topologie entre 1940 et 1945 alors qu'il est prisonnier de guerre en Autriche.
