The castle of Saint Michael