algorithme du pivot partiel de Gauss