Fix: [ bug #1736 ] Failing supplier Elephant numeration module with some
masks

Conflicts:
	htdocs/core/lib/functions2.lib.php