correct return type of getAlCartes