Développement d'un logiciel numérisant le théorème de Millman: TMN