Le système de Leibniz et ses modèles mathématiques