Después de que los hospitalarios se hicieran con el control del castillo, pasó a ser conocido como ; el nombre (que, alternativamente, se escribe ) fue introducido por Guillaume Rey en el siglo XIX.