Le coup d'état du 13 mai 1958. - commentaires