"on a rien trouvé de" != "on a prouvé que"