algorithme de Tarry