Formation pratique sur la conception, la modélisation et la vérification des réservoirs en BA selon l’EC2 avec RSA