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