Diagnosis
A method linked to a client or server can only be defined in severalmodel views if the valid time frame of the model view are disjunctive.
This method has already been defined for the client &V3& and the serverV4 in the model view v2 whose valid time frame coincides with thatof the model view here.