let a2 = with_b (with_a vide 1) true;;