rapport : ajout notations intro + avancée algo arbre couvrant