Ce manuel pdagogique sur les formalismes de modlisation stochastique et leurs applications  l'valuation quantitative de performances des systmes et rseaux informatiques est le fruit d'une dizaine d'annes d'exprience dans l'enseignement de plusieurs matires,  savoir: modlisation et simulation des systmes, valuation de performance des rseaux, etc. Il a pour objectif de prsenter les formalismes de modlisation stochastique les plus importants ( savoir: les chanes de Markov  temps discret, les systmes d'attente Markoviens, et les rseaux de files d'attente  forme produit), et montrer surtout comment les appliquer ( travers une panoplie d'exercices d'application avec corrigs) pour passer d'un systme rel et complexe vers un modle abstrait et simple. La finalit est galement de mettre en vidence la mthodologie  suivre pour rsoudre les modles mathmatiques obtenus afin de dterminer et valuer les caractristiques des systmes tudis. Ce manuel pdagogique est destin en premier lieu aux tudiants de parcours Master en Informatique toute option confondue du fait que la plupart des problmes considrs et traits sont des systmes et rseaux informatiques.