EverybodyWiki (fr)/Extensions