Synonymestubercule quadrijumeau