[Pharo-users] Math Ontologie on Pharo 3.0