preuves explicites Synonym