La géométrie tropicale est un outil calculatoire puissant en géométrie énumérative réelle et complexe. Les résultats récents de la théorie homotopique motivique nous permettent d'étudier des questions de géométrie énumérative sur un corps arbitraire k. Dans cet exposé, on présente un des premiers exemples d'utilisation de la géométrie tropicale afin de résoudre des questions de la géométrie énumérative sur k : un théorème de Bézout enrichi quadratiquement. On expliquera les notions nécessaires de la géométrie énumérative valuée dans l'anneau de Grothendieck-Witt des formes quadratiques sur k. On définira une multiplicité d'intersection motivique valuée sur cet anneau et on prouve comment la calculer de façon combinatoire. Finalement, on utilisera ces idées pour prouver le théorème de Bézout enrichi quadratiquement. Si le temps le permet, on expliquera comment généraliser cette preuve pour montrer un analogue du théorème de Bernstein-Kushnirenko et sa correspondance avec l'intersectiondes hypersurfaces dans les variétés toriques.