Mathematical Proofs; Michel Dufour -- Part II. Argumentation as a Methodology for