From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.1 required=5.0 tests=AWL,DNS_FROM_RFC_POST, HTML_MESSAGE,MIME_BASE64_TEXT autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 9E213BBAF for ; Tue, 21 Jul 2009 20:01:30 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqwCALWfZUpQDPJhgmdsb2JhbACCKSuMMIkyAYEoAQELCwgHFQO4f4QMBQ X-IronPort-AV: E=Sophos;i="4.43,241,1246831200"; d="scan'208,217";a="31501393" Received: from smtp23.orange.fr ([80.12.242.97]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Jul 2009 20:00:52 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2361.orange.fr (SMTP Server) with ESMTP id 425BB7000086 for ; Tue, 21 Jul 2009 20:00:52 +0200 (CEST) Received: from Thinkpad-R60 (Mix-Lyon-303-2-69.w193-248.abo.wanadoo.fr [193.248.44.69]) by mwinf2361.orange.fr (SMTP Server) with ESMTP id 7CDA27000085 for ; Tue, 21 Jul 2009 20:00:50 +0200 (CEST) X-ME-UUID: 20090721180050511.7CDA27000085@mwinf2361.orange.fr Date: Tue, 21 Jul 2009 20:01:05 +0200 From: "Damien Guichard" To: "caml-list@yquem.inria.fr" References: <4A65E271.7050801@olivier.peres.cc> Subject: [Caml-list] Re: book "Le langage Caml" Message-ID: <200907212001040007038@orange.fr> X-mailer: Foxmail 6, 10, 201, 20 [-fr-] Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="=====003_Dragon713306257326_=====" X-Spam: no; 0.00; damien:01 guichard:01 dunod:01 damien:01 guichard:01 bug:01 beginner's:01 ocaml:01 bug:01 dunod:01 beginner's:01 ocaml:01 donation:98 2009:98 peres:98 This is a multi-part message in MIME format. --=====003_Dragon713306257326_===== Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: base64 DQpUaGFua3MgdG8gRHVub2QgyWRpdGlvbnMgZm9yIHRoaXMgbXVjaCBhcHByZWNpYXRlZCBkb25h dGlvbi4NCg0KQm9uam91ciBPbGl2aWVyLA0KDQpUaGUgYm9vayBzb3VyY2VzIGFyZSBhbHJlYWR5 IGluY2x1ZGVkIGluIHRoZSBDYW1sL2V4YW1wbGVzLw0KZGlyZWN0b3J5IG9mIHlvdXIgQ2FtbC1M aWdodCBkaXN0cmlidXRpb24uDQoob3IgYXQgbGVhc3QgdGhleSBhcmUgaW4gbXkgd2luZG93cyBk aXN0cmlidXRpb24pDQoNCg0KLSBkYW1pZW4NCg0KDQoNCg0KRGFtaWVuIEd1aWNoYXJkDQoyMDA5 LTA3LTIxDQoNCg0KDQpFbiBy6XBvbnNlIGF1IG1lc3NhZ2UNCmRlIDogT2xpdmllcl9Q6XLocw0K ZHUgOiAyMDA5LTA3LTIxIDE0OjQxOjIzDQrAIDogY2FtbC1saXN0QHlxdWVtLmlucmlhLmZyDQpD QyA6IA0KU3VqZXQgOiBbQ2FtbC1saXN0XSBSZTogYm9vayAiTGUgbGFuZ2FnZSBDYW1sIg0KDQoN CiAgICBUaGF0J3MgZ3JlYXQgbmV3cywgdGhhbmtzICENCg0KICAgIEJ1ZyByZXBvcnQgOiBwYWdl IDIwNiwgImNlcyBleGVtcGxlcyBzb250IGRpc3BvbmlibGVzIHN1ciBsZSBXZWIg4CANCmwnYWRy ZXNzZSBzdWl2YW50ZSA6IGh0dHA6Ly9jYW1sLmlucmlhLmZyL0V4YW1wbGVzLy4iDQoNCiAgICBU aGlzIFVSTCBubyBsb25nZXIgZXhpc3RzIG9uIHRoZSBzZXJ2ZXIgKGVycm9yIDQwNCkuDQoNCiAg ICBPbGl2aWVyLg0KDQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fXw0KQ2FtbC1saXN0IG1haWxpbmcgbGlzdC4gU3Vic2NyaXB0aW9uIG1hbmFnZW1lbnQ6DQpo dHRwOi8veXF1ZW0uaW5yaWEuZnIvY2dpLWJpbi9tYWlsbWFuL2xpc3RpbmZvL2NhbWwtbGlzdA0K QXJjaGl2ZXM6IGh0dHA6Ly9jYW1sLmlucmlhLmZyDQpCZWdpbm5lcidzIGxpc3Q6IGh0dHA6Ly9n cm91cHMueWFob28uY29tL2dyb3VwL29jYW1sX2JlZ2lubmVycw0KQnVnIHJlcG9ydHM6IGh0dHA6 Ly9jYW1sLmlucmlhLmZyL2Jpbi9jYW1sLWJ1Z3MNCg== --=====003_Dragon713306257326_===== Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: base64 PCFET0NUWVBFIEhUTUwgUFVCTElDICItLy9XM0MvL0RURCBIVE1MIDQuMCBUcmFuc2l0aW9uYWwv L0VOIj4NCjxIVE1MPjxIRUFEPg0KPE1FVEEgaHR0cC1lcXVpdj1Db250ZW50LVR5cGUgY29udGVu dD0idGV4dC9odG1sOyBjaGFyc2V0PUlTTy04ODU5LTEiPg0KPE1FVEEgY29udGVudD0iTVNIVE1M IDYuMDAuMjkwMC4yOTYzIiBuYW1lPUdFTkVSQVRPUj4NCjxTVFlMRT5AZm9udC1mYWNlIHsNCglm b250LWZhbWlseTogU2ltU3VuOw0KfQ0KQGZvbnQtZmFjZSB7DQoJZm9udC1mYW1pbHk6IFRhaG9t YTsNCn0NCkBmb250LWZhY2Ugew0KCWZvbnQtZmFtaWx5OiBAU2ltU3VuOw0KfQ0KQHBhZ2UgU2Vj dGlvbjEge3NpemU6IDU5NS4zcHQgODQxLjlwdDsgbWFyZ2luOiA3Mi4wcHQgOTAuMHB0IDcyLjBw dCA5MC4wcHQ7IGxheW91dC1ncmlkOiAxNS42cHQ7IH0NClAuTXNvTm9ybWFsIHsNCglURVhULUpV U1RJRlk6IGludGVyLWlkZW9ncmFwaDsgRk9OVC1TSVpFOiAxMC41cHQ7IE1BUkdJTjogMGNtIDBj bSAwcHQ7IEZPTlQtRkFNSUxZOiAiVGltZXMgTmV3IFJvbWFuIjsgVEVYVC1BTElHTjoganVzdGlm eQ0KfQ0KTEkuTXNvTm9ybWFsIHsNCglURVhULUpVU1RJRlk6IGludGVyLWlkZW9ncmFwaDsgRk9O VC1TSVpFOiAxMC41cHQ7IE1BUkdJTjogMGNtIDBjbSAwcHQ7IEZPTlQtRkFNSUxZOiAiVGltZXMg TmV3IFJvbWFuIjsgVEVYVC1BTElHTjoganVzdGlmeQ0KfQ0KRElWLk1zb05vcm1hbCB7DQoJVEVY VC1KVVNUSUZZOiBpbnRlci1pZGVvZ3JhcGg7IEZPTlQtU0laRTogMTAuNXB0OyBNQVJHSU46IDBj bSAwY20gMHB0OyBGT05ULUZBTUlMWTogIlRpbWVzIE5ldyBSb21hbiI7IFRFWFQtQUxJR046IGp1 c3RpZnkNCn0NCkE6bGluayB7DQoJQ09MT1I6IGJsdWU7IFRFWFQtREVDT1JBVElPTjogdW5kZXJs aW5lDQp9DQpTUEFOLk1zb0h5cGVybGluayB7DQoJQ09MT1I6IGJsdWU7IFRFWFQtREVDT1JBVElP TjogdW5kZXJsaW5lDQp9DQpBOnZpc2l0ZWQgew0KCUNPTE9SOiBwdXJwbGU7IFRFWFQtREVDT1JB VElPTjogdW5kZXJsaW5lDQp9DQpTUEFOLk1zb0h5cGVybGlua0ZvbGxvd2VkIHsNCglDT0xPUjog cHVycGxlOyBURVhULURFQ09SQVRJT046IHVuZGVybGluZQ0KfQ0KU1BBTi5FbWFpbFN0eWxlMTcg ew0KCUZPTlQtV0VJR0hUOiBub3JtYWw7IENPTE9SOiB3aW5kb3d0ZXh0OyBGT05ULVNUWUxFOiBu b3JtYWw7IEZPTlQtRkFNSUxZOiBWZXJkYW5hOyBURVhULURFQ09SQVRJT046IG5vbmU7IG1zby1z dHlsZS10eXBlOiBwZXJzb25hbC1jb21wb3NlDQp9DQpESVYuU2VjdGlvbjEgew0KCXBhZ2U6IFNl Y3Rpb24xDQp9DQpCTE9DS1FVT1RFIHsNCglNQVJHSU4tVE9QOiAwcHg7IE1BUkdJTi1CT1RUT006 IDBweDsgTUFSR0lOLUxFRlQ6IDJlbQ0KfQ0KT0wgew0KCU1BUkdJTi1UT1A6IDBweDsgTUFSR0lO LUJPVFRPTTogMHB4DQp9DQpVTCB7DQoJTUFSR0lOLVRPUDogMHB4OyBNQVJHSU4tQk9UVE9NOiAw cHgNCn0NCjwvU1RZTEU+DQo8L0hFQUQ+DQo8Qk9EWSANCnN0eWxlPSJCT1JERVItVE9QLVdJRFRI OiAwcHg7IEJPUkRFUi1MRUZULVdJRFRIOiAwcHg7IEJPUkRFUi1CT1RUT00tV0lEVEg6IDBweDsg Qk9SREVSLVJJR0hULVdJRFRIOiAwcHgiPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEgY29sb3I9 IzAwMDBmZiBzaXplPTI+PC9GT05UPjwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEgY29s b3I9IzAwMDBmZiBzaXplPTI+PC9GT05UPjwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEg Y29sb3I9IzAwMDBmZiBzaXplPTI+PC9GT05UPiZuYnNwOzwvRElWPg0KPERJVj48Rk9OVCBmYWNl PVZlcmRhbmEgY29sb3I9IzAwMDBmZiBzaXplPTI+VGhhbmtzIHRvIER1bm9kIMlkaXRpb25zIGZv ciB0aGlzIA0KbXVjaCBhcHByZWNpYXRlZCBkb25hdGlvbi48L0ZPTlQ+PC9ESVY+DQo8RElWPjxG T05UIGZhY2U9VmVyZGFuYSBzaXplPTI+PC9GT05UPiZuYnNwOzwvRElWPg0KPERJVj48Rk9OVCBm YWNlPVZlcmRhbmEgc2l6ZT0yPkJvbmpvdXIgT2xpdmllciw8L0ZPTlQ+PC9ESVY+DQo8RElWPjxG T05UIGZhY2U9VmVyZGFuYSBjb2xvcj0jMDAwMDAwIHNpemU9Mj48L0ZPTlQ+Jm5ic3A7PC9ESVY+ DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYSBjb2xvcj0jMDAwMDAwIHNpemU9Mj5UaGUmbmJzcDti b29rIHNvdXJjZXMgYXJlIGFscmVhZHkgDQppbmNsdWRlZCBpbiZuYnNwO3RoZSBDYW1sL2V4YW1w bGVzLzwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hIGNvbG9yPSMwMDAwMDAg c2l6ZT0yPmRpcmVjdG9yeSBvZiZuYnNwO3lvdXIgQ2FtbC1MaWdodCANCmRpc3RyaWJ1dGlvbi48 L0ZPTlQ+PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYSBzaXplPTI+KG9yIGF0IGxlYXN0 IHRoZXkgYXJlIGluJm5ic3A7bXkgd2luZG93cyANCmRpc3RyaWJ1dGlvbik8L0ZPTlQ+PC9ESVY+ DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYSBzaXplPTI+PC9GT05UPiZuYnNwOzwvRElWPg0KPERJ Vj48Rk9OVCBmYWNlPVZlcmRhbmEgY29sb3I9IzAwMDAwMCBzaXplPTI+PC9GT05UPiZuYnNwOzwv RElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEgc2l6ZT0yPi0gZGFtaWVuPC9GT05UPjwvRElW Pg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEgc2l6ZT0yPjwvRk9OVD48Rk9OVCBjb2xvcj0jMDAw MDAwPjwvRk9OVD4mbmJzcDs8L0RJVj4NCjxESVYgYWxpZ249bGVmdD4NCjxESVYgYWxpZ249bGVm dD48Rk9OVCBmYWNlPVZlcmRhbmEgc2l6ZT0yPg0KPEhSIHN0eWxlPSJXSURUSDogMTIycHg7IEhF SUdIVDogMnB4IiBTSVpFPTI+DQo8L0ZPTlQ+PC9ESVY+DQo8RElWPjxGT05UIGNvbG9yPSNjMGMw YzA+PEZPTlQgZmFjZT1WZXJkYW5hIHNpemU9Mj48U1BBTj5EYW1pZW4gDQpHdWljaGFyZDwvU1BB Tj48L0ZPTlQ+PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYSBzaXplPTI+MjAwOS0wNy0y MTwvRk9OVD48L0ZPTlQ+PC9ESVY+PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYSBzaXpl PTI+DQo8SFI+DQo8L0ZPTlQ+PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYT48Rk9OVCBz aXplPTI+PEk+RW4gculwb25zZSBhdSBtZXNzYWdlPC9JPjxCUj48U1RST05HPmRlIA0KOjwvU1RS T05HPiBPbGl2aWVyX1DpcuhzPC9GT05UPjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1W ZXJkYW5hPjxGT05UIHNpemU9Mj48U1RST05HPmR1IDo8L1NUUk9ORz4gDQoyMDA5LTA3LTIxJm5i c3A7MTQ6NDE6MjM8L0ZPTlQ+PC9GT05UPjwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmE+ PEZPTlQgc2l6ZT0yPjxTVFJPTkc+wCA6PC9TVFJPTkc+IA0KY2FtbC1saXN0QHlxdWVtLmlucmlh LmZyPC9GT05UPjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hPjxGT05UIHNp emU9Mj48U1RST05HPkNDIDo8L1NUUk9ORz4gPC9GT05UPjwvRk9OVD48L0RJVj4NCjxESVY+PEZP TlQgZmFjZT1WZXJkYW5hPjxGT05UIHNpemU9Mj48U1RST05HPlN1amV0IDo8L1NUUk9ORz4gW0Nh bWwtbGlzdF0gUmU6IA0KYm9vayAiTGUgbGFuZ2FnZSBDYW1sIjwvRk9OVD48L0ZPTlQ+PC9ESVY+ DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYSBzaXplPTI+PC9GT05UPiZuYnNwOzwvRElWPg0KPERJ Vj48Rk9OVCBmYWNlPVZlcmRhbmEgc2l6ZT0yPg0KPERJVj4mbmJzcDs8L0RJVj4NCjxESVY+Jm5i c3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7VGhhdCdzJm5ic3A7Z3JlYXQmbmJzcDtuZXdzLCZuYnNwO3Ro YW5rcyZuYnNwOyE8L0RJVj4NCjxESVY+Jm5ic3A7PC9ESVY+DQo8RElWPiZuYnNwOyZuYnNwOyZu YnNwOyZuYnNwO0J1ZyZuYnNwO3JlcG9ydCZuYnNwOzombmJzcDtwYWdlJm5ic3A7MjA2LCZuYnNw OyJjZXMmbmJzcDtleGVtcGxlcyZuYnNwO3NvbnQmbmJzcDtkaXNwb25pYmxlcyZuYnNwO3N1ciZu YnNwO2xlJm5ic3A7V2ViJm5ic3A74CZuYnNwOzwvRElWPg0KPERJVj5sJ2FkcmVzc2UmbmJzcDtz dWl2YW50ZSZuYnNwOzombmJzcDs8QSANCmhyZWY9Imh0dHA6Ly9jYW1sLmlucmlhLmZyL0V4YW1w bGVzLyI+aHR0cDovL2NhbWwuaW5yaWEuZnIvRXhhbXBsZXMvPC9BPi4iPC9ESVY+DQo8RElWPiZu YnNwOzwvRElWPg0KPERJVj4mbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDtUaGlzJm5ic3A7VVJMJm5i c3A7bm8mbmJzcDtsb25nZXImbmJzcDtleGlzdHMmbmJzcDtvbiZuYnNwO3RoZSZuYnNwO3NlcnZl ciZuYnNwOyhlcnJvciZuYnNwOzQwNCkuPC9ESVY+DQo8RElWPiZuYnNwOzwvRElWPg0KPERJVj4m bmJzcDsmbmJzcDsmbmJzcDsmbmJzcDtPbGl2aWVyLjwvRElWPg0KPERJVj4mbmJzcDs8L0RJVj4N CjxESVY+X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX188L0RJ Vj4NCjxESVY+Q2FtbC1saXN0Jm5ic3A7bWFpbGluZyZuYnNwO2xpc3QuJm5ic3A7U3Vic2NyaXB0 aW9uJm5ic3A7bWFuYWdlbWVudDo8L0RJVj4NCjxESVY+PEEgDQpocmVmPSJodHRwOi8veXF1ZW0u aW5yaWEuZnIvY2dpLWJpbi9tYWlsbWFuL2xpc3RpbmZvL2NhbWwtbGlzdCI+aHR0cDovL3lxdWVt LmlucmlhLmZyL2NnaS1iaW4vbWFpbG1hbi9saXN0aW5mby9jYW1sLWxpc3Q8L0E+PC9ESVY+DQo8 RElWPkFyY2hpdmVzOiZuYnNwOzxBIA0KaHJlZj0iaHR0cDovL2NhbWwuaW5yaWEuZnIiPmh0dHA6 Ly9jYW1sLmlucmlhLmZyPC9BPjwvRElWPg0KPERJVj5CZWdpbm5lcidzJm5ic3A7bGlzdDombmJz cDs8QSANCmhyZWY9Imh0dHA6Ly9ncm91cHMueWFob28uY29tL2dyb3VwL29jYW1sX2JlZ2lubmVy cyI+aHR0cDovL2dyb3Vwcy55YWhvby5jb20vZ3JvdXAvb2NhbWxfYmVnaW5uZXJzPC9BPjwvRElW Pg0KPERJVj5CdWcmbmJzcDtyZXBvcnRzOiZuYnNwOzxBIA0KaHJlZj0iaHR0cDovL2NhbWwuaW5y aWEuZnIvYmluL2NhbWwtYnVncyI+aHR0cDovL2NhbWwuaW5yaWEuZnIvYmluL2NhbWwtYnVnczwv QT48L0RJVj4NCjxESVY+Jm5ic3A7PC9ESVY+PC9GT05UPjwvRElWPjwvQk9EWT48L0hUTUw+DQo= --=====003_Dragon713306257326_=====--