Répertoire onomastique de l'épigraphie javanaise — Louis-Charles Damais