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