En fait je crois que j'ai trouvé.
Supposons que Q est intersection dénombrable d'ouverts. Chacun de ces ouverts contient Q donc est dense. Q est donc intersection dénombrable d'ouverts denses.
De même R-Q est intersection dénombrable d'ouverts denses, chacun de ces ouverts étant le complémentaire dans R d'un rationnel (c'est bien dénombrable car Q est dénombrable).
On en déduit que R inter R-Q = vide est intersection dénombrable d'ouverts denses. Donc d'après le théorème de Baire le vide est dense dans R : contradiction.
Mais ça m'étonne d'aller chercher un truc pareil pour montrer un résultat qui a l'air simple quand même. 