Started conversion of 07_invalides.py