Langages et systèmes pour la preuve interactive