L'idée de ce billet est de vous présenter deux solutions pour faire du push serveur.
Pour chacune des solutions le code source est présenté.