Lentille gravitationnelle : définitions