(extern) repertoire