M31, the prominent galaxy of the Local Group, is located at a distance of about 700 kpc. Due to its convenient orientation, it is an alluring target for gravitational microlensing to search for massive astrophysical compact ...