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