Combien coûte un billet de théâtre au plein tarif, si le tarif réduit (de 20 %) coûte 30 euros ?