European convention for the protection of human rights and fundamental freedoms:Article 20 Number of judges