Agenda do presidente do STF, ministro Dias Toffoli, para terça-feira (4)