\documentclass{beamer}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[french]{babel}
\usepackage{amsmath}
\usetheme{Boadilla}
\usecolortheme{beaver}
\title[Pacemaker]{Pacemaker : preuves et mesures de disponibilité dans les réseaux pair-à-pair}
\author{Thibaut Horel}
\institute[ENS/MPRI/INRIA]{Stage de MPRI sous la direction de Fabrice Le Fessant}
\begin{document}

\begin{frame}
\maketitle
\end{frame}

\begin{frame}{Contexte}

Réseau :
\begin{itemize}
\item pair-à-pair
\item asynchrone
\item pannes
\item potentiellement beaucoup d'utilisateurs
\end{itemize}

\begin{block}{Définition : disponibilité}
Fraction du temps passé sur le réseau
\end{block}
\end{frame}
\end{document}