Remote gas leak detection using a portable mini-Lidar, based on a doubly-resonant OPO | IEEE Conference Publication | IEEE Xplore