Un résultat oublié ...