André Weil proposed to solve his Conjectures on the number of points of varieties over finite fields using a suitable cohomology theory, where one could use an analogue of the Lefschetz-Trace formula to count points. We will see how this strategy proposed simplifies in the case of Abelian Varieties (basically analogous of abelian Lie groups) and then proceed to prove (the easy part) of the Weil conjectures for this special case. No prior knowledge of Abelian Varieties, Weil conjectures or Étale cohomology is assumed. Speaker(s): Lukas Scheiwiller (UM)