When Poincaré first envisioned algebraic topology, he envisioned it as a study of smooth manifolds under the equivalence relation if diffeomorphism [Analysis situs, pages 196-198]. Lefshetz [Topology, Amer. Math. Soc. Colloq. Publ 12 (1930), page 361] wrote that Poincaré had tried to develop the subject along `analytic' lines, but had turned instead to combinatorial methods because the analytic approach failed for example in the Poincaré duality theorem.
Algebraic topology developed in the PL category (Combinatorial Topology), because it was believed that this would give a useful avenue of attack on the differentiable case. Great algebraic topologists of the early 20th century (Reidemeister, Seifert, Schubert$\thinspace\ldots$) all worked with triangulated PL manifolds, and wrote good, precise, rigourous papers which are still valuable today (I think that Schubert's Topologie is one of the greatest topology textbooks ever written). They were gluing together, and subdividing, finite collections of simplices; their group theory was combinatorial; and the subject as a whole had a highly combinatorial flavour to it. And it was great! Everything was explicit, and there was no need for fudgy handwavy `corners can be rounded' type arguments to be thrown around. In my opinion, simplicial complexes continue to be the best setting to work explicitly with linking forms, for example.
In the 1950's and 1960's, with work of Smale, Thom, Milnor, Hirsch, and others, honest smooth algebraic topology became possible, and the relationship between PL and smooth categories was clarified. And after that, people began switching back and forth at will when it was possible to do so, and, with the basic groundwork for algebraic topology established in both categories, the combinatorial flavour of the subject became dulled. Combinatorial Group Theory went off and became its own subject, and the majority of topologists no longer saw the need to mess about with explicit triangulations of manifolds- they just worked directly with invariants of the chain complex. And CW complexes became used instead of simplicial complexes, for example because the dual cell subdivision of a simplicial complex need no longer be a simplicial complex.
But "combinatorial topology" in its former sense still very much exists. An it's not going to go away. To programme topology into a computer for example, you need an explicit triangulation, and the work is all combinatorial and PL. See for example Matveev's Algorithmic topology and classification of 3-manifolds. The constructivist argument would be that `real world' manifolds (whatever that means) are PL.
Best Answer
Francesco, I would like to offer three links, which I think could be helpful for your question.
(1) This one is linking to a very interesting discussion whether Sperner's Lemma and Brouwer's FPT are really equivalent in a rigorous sense. https://mathoverflow.net/q/131413/156936
(2) This one is linking to a simple example where Tucker's Lemma directly follows from Sperner's Lemma. In other words, the table in the Wikipedia article is not so obvious, and I have the feeling that Tucker's Lemma viewed as "stronger" (because it implies Sperner's Lemma) is not a totally justified view. https://mathoverflow.net/q/362025/156936
(3) Maybe the best answer and the most thorough answer to your question is given in the excellent two articles of Nikolai Ivanov here https://arxiv.org/abs/0906.5193v2 and https://arxiv.org/abs/1909.00940
Finally, just in case you are interested in Sperner's Lemma more broadly, please take a look at this post https://mathoverflow.net/q/364040/156936