L'objectif était de rajouter une cible qui efface les PDF, et d'étendre
la cible clean pour qu'elle efface aussi les fichiers générés par
_minted.