Stav dette: La teoría de funciones de Baire :