Hybrid event-B section + intro slides

(first commit failed, didn't notices
so two commits in one here)