exemples d xemples sur deux types de spécifications

exemples d xemples sur deux types de spécifications