Arithmetic Levi-Civita Connection (after A. Buium)