S-équivalence et congruence des matrices de Seifert : une conjecture de Trotter