preuve avec eclipse