I think I finally found exactly the part that I need:
Part number: AP4546590 
Unfortunately it's out of stock, though. I've placed an order anyways, hoping that I'll be suggested an alternative part. Perhaps a more recent version of the dishwasher model that I have would do it.
-F.