Antoni Martí: el primer interventor de Andorra