BGer 6B_440/2020 vom 31. Juli 2020 , Retrait du recours (refus de restitution de délai), - Bundesgericht (2020)