Double inverted comma with text after code tags

Hi,

I’m writing in French in my website and I use the last version of WP typography.
I have a problem with code tags and inverted commas.

My HTML code is :
attributs <code>role="group"</code> et <code>aria-labelledby</code>

When my post is displayed, I see : attributs role="group"» et aria-labelledby.

The » character shouldn’t be here. In my configuration panel, I have “code” as ignored tags so I don’t understand.

If I add a space between my inverted comma and </code> (like this: <code>role="group" </code>), I have no » character.

Do you reproduce this behaviour?