Monsters populate mathematics : topologist's sine, Vitali set, Weierstrass function… These counter-examples to naive intuitions often have in common that they are defined either in a convoluted way, either with an oscillating function like the sine. The o-minimal paradigm allows us to forget those oddness and to make our first intuitions true, by considering only objects that have a "reasonable" definition in a way. What is an o-minimal structure? What examples do we know of? What is happening there? How do they act in complex geometry, in number theory, in optimization?