En 2008, Losert [3] résout le fameux problème de dérivation, resté ouvert depuis les années 1960. Le raisonnement de Losert s'articule autour d'un résultat central pour lequel Bader, Gelander et Monod [1] arrivent à trouver une courte preuve en 2012. Celle-ci découle d'un nouveau théorème de point fixe qui, outre son rôle dans la résolution du problème de dérivation, est intéressant en soi car il ne fait intervenir que les propriétés géométriques de l'espace ambiant, et non un argument de compacité ou un quelconque principe de contraction. Le présent mémoire donne une démonstration détaillée de ce nouveau théorème, tout en rappelant préalablement les bases topologiques et algébriques sur lesquelles il repose.