Toilet flush button lever

My toilet has a button to operate the flush and the internal lever broke and kept falling.
I couldn't find a replacement part, so I designed one.

You can see the details in a French video I made here: https://foilen.com/fr/blog/impression-3d-reparer-une-piece-de-chasse-deau-brisee/