Are both Savitri and Le devin du village considered operas?