La Vérification par des PROS pour des PROS