[FIX] Il file .dtx riportava ancora i nomi delle figure errate.