loc. m.
[client-serveur] Technique utilisée quand des données doivent être mises à jour périodiquement (et rapidement). Ici, le serveur « pousse » (i.e. envoie) les données vers le client de temps en temps. Contraire client pull. Ces techniques cousines s'appellent le push pull.