Optimize search in man-pages-fr