lentille convexe définition