Calcul formel, codes et cryptographie