OK, ce sont des fichiers pour lesquels Wikimini a acheté une licence d'utilisation. Je participerai à faire un peu le ménage ici dès que je le pourrai !
