On attend la preuve fdp