Vérification formelle de la plate-forme javacard