int add(int n, int m) { /* assertion: m>=0 */ if (m < 0) exit(1); /* cond. d arrêt: m == 0 */ if (m == 0) return n;
{"Image DocumentName": "int add(int n, int m){ /  assertion: m>=0  / if (m < 0) exit(1); /  cond. d arr\u00eat: m == 0  / if (m == 0) return n;", "Image ImageDescription": "else /  r\u00e9cursion  / return 1+add(n,m-1); }", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}