vérification formelle de la plate-forme JavaCard by SimãO. Melo De Sousa