[PAdic] Some documentations