notion protomathématique