Optimize search in manpages-fr-extra
Little fix introduced in man-pages-fr-3.65-2