4: Flash (en attendant le html 5 et son WebSocket). Avec le Flash, rien ne t'empeche d'ouvrir un socket et de faire du push venant du serveur assez facilement. Ensuite, il suffit de faire dialoguer ton flash avec ton JavaScript dans ta page et le tour est joué.