Ajout de la preuve de la drinker's formula