rechercher :
3.93.75.30

proposition : lemmes