Sur la preuve de consistance de Gauthier et le programme de Frege - DeVidi, David (Philosophiques, 2004)