Category:Extensions used on Wikimedia/fr