raspisms/descartes/InternalController.php

<?php
	/**
     * Cette classe sert de mère à tous les controlleurs internes
	 */
	class InternalController extends Controller
	{
	}