Un peu de ménage dans la partie TrueCrypt du dépôt