Nombre de Lucas premier