EasyCrypt : Modifications IHM boutons arrondis, ajout du logo de l'application (widget + application)
Manual merge