Oui en effet, j'ai passé sous silence pas mal de choses mais c'est difficile d'expliquer comment fonctionne Git sans écrire 3 pages

Comme le dit Kevin origin/master est l'étiquette qui correspondait à la branche master du remote origin la dernière fois que tu as synchronisé ton dépôt local avec celui distant (avec la commande fetch). La commande pull quant à elle est un raccourci qui combine plusieurs commandes : elle commence par faire une synchronisation (équivalente à fetch) puis récupère les commits distants sur ta branche locale. Dans le cas où les branches ont divergé (il y a de chaque côté des commits qui n'existent pas de l'autre, comme dans ./5) alors Git va faire soit un merge (par défaut) soit un rebase avec l'option proposée par Kevin.