Le fichier de documentation `yathesis.pdf', accidentellement supprimé du dépôt
Git, y est remis.