BGer 6F_9/2018 vom 17. Mai 2018 , Irrecevabilité formelle d'une demande de révision, - Bundesgericht (2018)