triangularisation , marche pas encore