La Sigma-3-completude de l'ensemble des types de reduction