Le concept de preuve en logique