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

J'ai montré ça en DS ... Pas évident Enfin, surtout, pour qui n'aime pas la topologie, c'était un peu barbare