Qu'est ce que les officiers français de 1940 avaient dans leur porte carte ?