( Hotel du Petersburg ).