« colonel de Gaulle », c'est un terme symbolique des pétainistes ?