Une fonction lisse f : [0,1] -> R a la propriété que pour chaque x, il existe un n_x tel que toutes les dérivées d'ordre au moins n_x s'annulent en x. f est-elle nécessairement un polynôme ?