Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation.