Je met à votre disposition la JavaDoc de l’API Rodin (Event-B) version 2.8 à cette adresse: http://tmp.aymericksavary.fr/Rodin-2.8-JavaDoc/