Convenio entre el Instituut voor Sterrenkunde K.U. Leuven y el Instituto de Astrofísica de Canarias para la instalación del Telescopio Mercator en el Observatorio del Roque de Los Muchachos