L'ensemble des points de discontinuité d'une fonction R->R est réunion dénombrable de fermés.