Republic of Dahomey: hour of independence.