rechercher :
3.93.75.242

proposition : lemmes