State funeral for Lieutenant Colonel Arnaud Beltrame, killed after trading places with a hostage in