Delete petit_papa_noel

La liste des fonctionnalités à implémenter aurait plutôt sa place dans le wiki du dépôt.