Chronique de l'électronique — France. Direction générale de l'industrie