David, j’ai essayé mon installation de développement Raspberry Pi (5 
) et cela ne présente pas le même problème.
Je vais supposer que mon installation locale est corrompue pour une raison quelconque, mais cela n’a pas beaucoup de sens pour le moment.