Même pas. Ils l'ont fait dans le générateur de clés, mais oublié de le faire dans le code de chiffrement.