A generic condition implying o-minimality for restricted C ∞ -functions | Publicación