Formalisation of an Approximate Reasoning: The Analogical Reasoning