Le style différencié pour les traductions non à jour dans les liens de traduction n'apparaissait plus. Et retrait de beaucoup de calculs inutiles dans le cas oo/.