"vérification de systèmes informatisés"@fr . . . "1"^^ . . . . . .