Mise à niveau des outils (version Android) imposée par Google.

Ajout d'un jeu de recherche des rallonges à droite (1, 2 ou 3 lettres (benjamin))

Anagrammes : sélection parmi les préfixes/suffixes

Corrections de plantages et petits bugs d'affichage.