Index: printf.ml
===================================================================
--- printf.ml	(révision 11963)
+++ printf.ml	(copie de travail)
@@ -687,6 +687,8 @@
     }
     ;;
 
+    let count_arguments_of_format = count_arguments_of_format;;
+
     let ac_of_format = ac_of_format;;
 
     let sub_format = sub_format;;
Index: printf.mli
===================================================================
--- printf.mli	(révision 11963)
+++ printf.mli	(copie de travail)
@@ -165,6 +165,7 @@
     external unsafe_index_of_int : int -> index = "%identity";;
 
     val succ_index : index -> index;;
+    val add_int_index : int -> index -> index;;
 
     val sub : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> index -> int -> string;;
     val to_string : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> string;;
@@ -187,6 +188,8 @@
       mutable ac_rdrs : int;
     };;
 
+    val count_arguments_of_format : (_, _, _, _, _, _) format6 -> int;;
+
     val ac_of_format : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ac;;
 
     val sub_format :
Index: format.ml
===================================================================
--- format.ml	(révision 11963)
+++ format.ml	(copie de travail)
@@ -1087,11 +1087,12 @@
    applications of [mkprintf]. *)
 let mkprintf to_s get_out =
 
-  let rec kprintf k fmt =
+  let kprintf k fmt =
 
-    let len = Sformat.length fmt in
+    let rec kpr n k fmt v =
 
-    let kpr fmt v =
+      let len = Sformat.length fmt in
+
       let ppf = get_out fmt in
       let print_as = ref None in
       let pp_print_as_char c =
@@ -1174,7 +1175,8 @@
       and cont_f n i =
         pp_print_flush ppf (); doprn n i
       and cont_m n sfmt i =
-        kprintf (Obj.magic (fun _ -> doprn n i)) sfmt
+        let m = Sformat.add_int_index (Tformat.count_arguments_of_format sfmt) n in
+        kpr n (Obj.magic (fun _ -> doprn m i)) sfmt v
 
       and get_int n i c =
         if i >= len then invalid_integer fmt i else
@@ -1299,9 +1301,9 @@
           get_tag_name n (succ i) got_name
         | _c -> pp_open_tag ppf ""; doprn n i in
 
-      doprn (Sformat.index_of_int 0) 0 in
+      doprn n 0 in
 
-    Tformat.kapr kpr fmt in
+    Tformat.kapr (kpr (Sformat.index_of_int 0) k) fmt in
 
   kprintf
 ;;