Documentation personnelle développée durant le cadre du cours d'Outils formels pour l'utilisation comfortable du langage swift