Thèse : Propriétés logiques du non-déterminisme et mu-calcul modal