niveau de structure d’une preuve