add doc local provas