deux formes de spécifications et un exemple

deux formes de spécifications et un exemple